Search results for "Integrated simulation"
showing 2 items of 2 documents
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
Modeling the energy and environmental life cycle of buildings: A co-simulation approach
2017
Abstract Building simulation is currently looking towards interdisciplinary experiences, aiming to the integration of simulation tools in different technical domains. At the same time, the interest of the building community to high performance buildings has also strengthened the interest on Life Cycle performances of such buildings, due to the reduction in their operational stage impacts. In this context, the paper proposes an integration of building simulation and Life Cycle Assessment through the programming of a TRNSYS component. It can perform Life Cycle Assessment studies, while having as output as well energy balances and energy and environmental payback times. Currently, the tool is …